1. LATEX line by line
پدیدآورنده: / Antoni Diller,Diller
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Latex (Computer file),Mathematics printing -- Computer programs,Computerized typesetting
رده :
Z
253
.
4
.
L38D55
1990
2. LATEX line by line: tips and techniques for document processing
پدیدآورنده: Diller, Antoni
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LaTeX )Computer file( , Mathematics printing - Computer programs , Computerized typesetting
رده :
Z
253
.
4
.
L38
D55
1999
3. LATEX line by line : tips and techniques for document processing
پدیدآورنده: Diller, Antoni.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Mathematics printing - Computer programs , Computerized typesetting , LaTeX )Computer file(
رده :
Z
253
.
4
.
L38
D55
1993
4. LaTeX line by line: tips and techniques for document processing
پدیدآورنده: Diller, Antoni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، LaTeX )Computer file(,، Mathematics printing - Computer programs,، Computerized typesettings
رده :
Z
253
.
4
.
L38
1999
5. Latex line by line: tips and techniques for document processing
پدیدآورنده: Diller, Antoni
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Latex ) computer(,، Mathematics printing - computer progams,، computerized typesetting
رده :
Z
.
252
.
5
.
L38
D55
1993
6. Z
پدیدآورنده: / Antoni Diller
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Z (Computer program language),Formal methods (computer science)
رده :
QA
76
.
73
.
Z2D55
1994
7. Z
پدیدآورنده: / Antoni Diller,Diller
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Z (Computer Program language)
رده :
QA
76
.
73
.
Z2D55
1990
8. Z an introduction to formal methods
پدیدآورنده: Diller, Antoni
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Z )computer program language(
رده :
QA
76
.
73
.
Z2D55
1994
